1. computer aided verification

Author:

Library: Vali Asr University Central Library (Kerman)

Subject: Computer software-verification,electronic digital computers-evaluation

Classification :
QA
76
.
76
.
E93
,
C65
1993